|
ParaSail, ''Parallel Specification and Implementation Language'', is an object-oriented parallel programming language. The design and ongoing implementation of ParaSail is described in a (blog ) and on its (official website ). ParaSail uses a pointer-free programming model, where objects can grow and shrink, and value semantics are used for assignment. There is no global garbage collected heap. Region-based storage management is used throughout. Types can be recursive, so long as the recursive components are declared as ''optional.'' There are no global variables, no parameter aliasing, and all subexpressions of an expression can be evaluated in parallel. Assertions, preconditions, postconditions, class invariants, etc., are part of the standard syntax, using a Hoare-like notation. Any possible race conditions are detected at compile time. The initial design of ParaSail was started in September 2009 by S. Tucker Taft. Both an interpreter using the ParaSail virtual machine, and an LLVM-based ParaSail compiler are available. Work stealing is used for scheduling ParaSail's light-weight threads. The latest version can be downloaded from the (ParaSail website ). ==Goals== ParaSail goals: * Pervasive, safe support for implicit and explicit parallelism. * Compile-time enforcement of assertions, preconditions, postconditions, and class invariants. * Efficient, pointer-free region-based storage management. * Familiar class-and-interface-based object-oriented programming model. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「ParaSail (programming language)」の詳細全文を読む スポンサード リンク
|